English translation for "deduction system"
|
- 演绎系统
Related Translations:
- Example Sentences:
| 1. | Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 | | 2. | The value analysis of the penalty deduction system and suggestions for its reform
减刑制度的价值分析及其改革思路 | | 3. | We find that , under a proportional tax deduction system , a nonzero deductible is obtained even though there are no variable costs for the insurer
本文发现当政府对被保险人的净损失提供固定比例税赋抵减时，最适保险契约包含自负额以及共保，且当保险公司的变动成本为零时，最适自负额仍然不为零。 | | 4. | This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。 | | 5. | In its reform , therefore , we can begin with improving the expense deduction system through scientific measurement , referring to the practice of " standard deduction " and " exemption " for low income people in some de eloped countries and selecting households as the taxation entity , so as to ensure that households with the same income pa their fair share of tax and better follow the principle of equity of taxation
因此个人所得税改革可以从规范费用扣除制度出发，参照20世纪80年代以来一些发达国家对低收入者采取“标准扣除” 、 “宽免”的办法，通过科学测算，健全个人所得税费用扣除制度，选择以家庭为纳税单位，力争做到相同收入的家庭纳各自相当的税，更好地体现税收的公平原则。 | | 6. | Basing on the thorough research and analysis of several essential technologies , we have implemented identity authentication , illegal link , network security aduit and anti - virus detection etc . we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication . in regard to network security audit , we mainly researched on the distributed model of network security audit and the audit strategy of the rule library . in view of the traditional rule library ’ s flaws , with the formalizing description of audit rule , we proposed a dynamic security audit strategy model which was based on the nature deduction system
在研究并分析各种认证技术的基础上,采用基于数字证书的认证方式,实现用户上网资格审查;针对网络安全审计,重点研究了网络安全审计分布式模型以及基于规则库的审计策略,并针对传统审计规则库的缺陷,通过对审计规则进行形式化描述,提出了一种基于自然演绎系统架构的动态安全审计策略模型dsasm ( dynamicsecurityauditstrategymodel ) ,并详细论述了该模型的定义和推演算法;通过深入研究非法外联的关键技术和检测模型,提出了基于路由表查找的c / s架构的非法外联检测模型;针对病毒检测,提出了基于主机的防病毒检测思想,在客户端进行病毒防护。 |
- Similar Words：
- "deduction method" English translation, "deduction of points" English translation, "deduction of the tax-exempt items" English translation, "deduction rule" English translation, "deduction solid solution" English translation, "deduction test" English translation, "deduction theorem" English translation, "deduction total" English translation, "deduction tree" English translation, "deduction wage" English translation
|
|
|
